منابع مشابه
Some New Properties of Transfinite Ordinals
1 Presented to the Society, December 27, 1939. The author is indebted to Professor W. A. Hurwitz for his indispensable advice in the preparation of this paper. 2 W. Sierpinski, Leçons sur les Nombres Transfinis, Paris, 1928, p. 202; hereafter referred to as Sierpinski (I). The theorem was first stated for ordinals of the first and second ordinal class by G. Cantor, Beitrdge zur Begründung der t...
متن کاملTransfinite Ordinals in Recursive Number Theory
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive o...
متن کاملon some bayesian statistical models in actuarial science with emphasis on claim count
چکیده ندارد.
15 صفحه اولOrdinals in HOL: Transfinite Arithmetic up to (and Beyond) ω 1
We describe a comprehensive HOL mechanisation of the theory of ordinal numbers, focusing on the basic arithmetic operations. Mechanised results include the existence of fixpoints such as ε0, the existence of normal forms, and the validation of algorithms used in the ACL2 theorem-proving system.
متن کاملBounds on the Nodal Statuses of Some Transfinite Graphs
The bounds on the statuses of the nodes in a finite graph established by Entringer, Jackson, and Snyder are extended herein so that they apply to the statuses of the nodes in transfinite graphs of a certain kind.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1958
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-45-1-217-227